首页> 外文OA文献 >Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

【2h】

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

机译：多线程软件中一类Petri网的最优执行力控制

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hongwei Liao; Stéphane Lafortune; Spyros Reveliotis; Yin Wang; Scott Mahlke;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software [J] . Liao H., Lafortune S., Reveliotis S., Automatic Control, IEEE Transactions on . 2013,第5期

机译：多线程软件中一类Petri网的最优动态执行控制
2. Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets [J] . Zhiwu Li, Meng Qin, Sen Zhu Transactions of the Institute of Measurement and Control . 2011,第3a4期

机译：确定可控制的过渡，以决定是否存在用于一类Petri网的最佳增强生命力的管理器
3. Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming [J] . Mi Zhao, rnZhiWu Li, rnHeSuan Hu International journal of systems science . 2010,第9期

机译：使用局部虹吸计数和数学编程的一类广义Petri网的次优增强生存管理器设计
4. Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets [C] . Hongwei Liao, Lafortune S., Reveliotis S., 49th IEEE Conference on Decision and Control . 2010

机译：Gadara Petri网的最大允许生命力增强控制策略的综合
5. Modeling, Analysis, and Control of a Class of Resource Allocation Systems Arising in Concurrent Software [D] . Liao, Hongwei 2012

机译：并发软件中一类资源分配系统的建模，分析和控制
6. Virtual Control Policy for Binary Ordered Resources Petri Net Class [O] . Carlos A. Rovetto, Tomás J. Concepción, Elia Esther Cano 2016

机译：二进制有序资源Petri Net类的虚拟控制策略
7. Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets [O] . Stéphane Lafortune, Yin Wang, Spyros Reveliotis 2013

机译：消除多线程软件中的并发错误：一种基于Petri网控制的方法

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software

著录项

引文网络

相似文献

相关主题

期刊订阅